arbitration of matters of public international law, sometimes before the Permanent Arbitration Court at the Hague